Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
921	VISUALIZATION OF PROGRAMS IN TEXTBOOKS Pieterse V and Bishop JM Department of Computer Science, University of Pretoria May 1996 The analysis for a generic design of a hypothetical system that is called VIZA UTHOR is disc Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:27:09 Visual programming languages Infographics Procedural programming languages Literate programming Integrated development environment Hypermedia Visual Basic Visualization Computer program Computing Software engineering Software
922	Value Analysis Frama-C’s value analysis plug-in Beryllium release Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Functions and mappings Function Program analysis Software Mathematics Frama-C
923	Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:54 Function Expected value Program analysis Mathematics Software Frama-C
924	ValueAnalyzer for ARM ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-02-17 09:23:11 ARM architecture Microcontrollers Compiler GNU Compiler Collection Mbed microcontroller KEIL ARM9 Software Computing Computer architecture
925	March 13, 2015 JOB OPPORTUNITY If it’s a challenging position you’re looking for, we have the ideal job for you. CLASSIFICATION: Add to Reading List Source URL: www.library.ca.gov Language: English - Date: 2015-03-13 17:51:47 California State Library Program evaluation Data analysis Evaluation Science Methodology
926	Introductory comments by the author∗ This paper, certainly unorthodox, was submitted to the Canadian Journal of Mathematics at the invitation of Paulo Ribenboim, an associate editor at the time, but accepted only on co Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:23:28 Automorphic forms Algebraic geometry Modular forms Class field theory Number theory Shimura variety Robert Langlands Langlands program Artin L-function Abstract algebra Mathematics Mathematical analysis
927	TOP SECRET//COMINTU//FOUO) Tor 2006 CES Summer Program Abstract (U) Tor is an open-source anonymization program created by Roger Dingledine, Nick Mathewson, and Paul Syverson. Originally sponsored by the US N Add to Reading List Source URL: www.queen.clara.net Language: English - Date: 2013-12-23 19:26:24 Network architecture Tor Traffic analysis Proxy server Onion routing .onion Internet Relay Chat Peer-to-peer Transmission Control Protocol Internet privacy Computing Internet
928	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAprilDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-04-19 19:49:52 Embedded Linux Smartphones Android Application programming interface Apache Ant Java Application software Flow network Software Computing Cross-platform software
929	QIT Consulting, Inc. for IEP, ASAP, safety feedback and corrective action management Program Introduction Add to Reading List Source URL: www.qitweb.com Language: English - Date: 2013-05-10 00:57:53 Evaluation Safety engineering Corrective and preventive action Pharmaceutical industry Preventive action Occupational safety and health Root cause analysis Audit Microsoft SQL Server Quality Management Business
930	TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA) Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-02-08 00:45:45 Compiler construction Software bugs Static program analysis C Dead code Software testing Pointer Static single assignment form Parsing Software engineering Computing Computer programming

UPDATE